# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /cvs/zport/dev-lang/maude/maude-2.3.ebuild,v 1.1 2007/03/09 16:22:20 zechs Exp $

inherit eutils

DESCRIPTION="Maude: a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications"
HOMEPAGE="http://maude.cs.uiuc.edu/"
MY_PN="Maude"
MY_P="Maude-${PV}"
SRC_URI="http://maude.cs.uiuc.edu/download/current/${MY_P}.tar.gz"

LICENSE="GPL-2"
SLOT="0"
KEYWORDS="x86"

IUSE=""
DEPEND="
    sci-libs/buddy
    dev-libs/libtecla
    dev-libs/gmp
    sys-devel/flex
    sys-devel/bison
  "

src_unpack() {
	unpack ${A}
}

src_compile() {
	local myconf="--prefix /usr"

	cd ${WORKDIR}/${MY_P}
	econf $myconf || die

	make || die
}

src_install() {
	local myconf="prefix=${D}usr"

	cd ${WORKDIR}/${MY_P}
	emake ${myconf} install || die
}
